etude proble

Etude des systèmes d'horodatage

RÉSUMÉ. Cet article représente une synthèse des résultats de la communauté scientifique dans le domaine de l’horodatage électronique. L’horodatage de documents électroniques est une technique cryptographique permettant de prouver qu’un document a été créé à une certaine date et qu’il n’a pas été modifié depuis cette date. Le développement de systèmes d'horodatage sûrs représente un enjeu import...

Anigraphical Etude 9

The Anigraphical Etude #9 is an interactive music manuscript in “1 person shooter” video game format for live concert performance for flute. The game play is based upon Robert Frost’s The Death of the Hired Man. The performer navigates a 3D performance space as the character Silas before a concert audience. This performance features flutist Elizabeth Stern, a student of Carnegie Mellon School o...

The Complexity of Maximum k-Order Bounded Component Set Proble

Given a graph G = (V, E) and a positive integer k, in MAXIMUM k-ORDER BOUNDED COMPONENT SET (MAX-k-OBCS), it is required to find a vertex set S ⊆ V of maximum size such that each component in the induced graph G[S] has at most k vertices. We prove that for constant k, MAX-k-OBCS is hard to approximate within a factor of n1−e, for any e > 0, unless P = NP. This is an improvement on the previous ...

Etude du traitement cortical des afférences somatosensorielles

1 2 The periodic presentation of a sensory stimulus induces, at certain frequencies of 3 stimulation, a sustained electroencephalographic response of corresponding 4 frequency, known as steady-state evoked potential (SS-EP). In visual, auditory and 5 vibrotactile modalities, studies have shown that SS-EPs reflect mainly activity 6 originating from early, modality-specific sensory cortices. Furt...

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Etude de la stabilité des chambres d'équilibre